101. Specification and design of software systems :
پدیدآورنده : edited by E. Knuth and E.J. Neuhold.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Specifications -- Congresses.,Operating systems (Computers) -- Congresses.,System design -- Congresses.
102. Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
پدیدآورنده : Conference on Operating Systems, )2891, Visegrad, Hungary(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Operating systems )Computers(-- Congresses,، Computer software-- Specifications-- Congresses,، System design-- Congresses
رده :
QA
76
.
6
.
C646
1982
103. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
104. Storage area network essentials :
پدیدآورنده : Richard Barker, Paul Massiglia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks.,Computer storage devices.,Information storage and retrieval systems.,Computer networks.,Computer storage devices.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Information storage and retrieval systems.
رده :
TK5105
.
5
.
B347
2002eb
105. Supercomputers and their performance in computational fluid dynamics
پدیدآورنده : ed. by Kozo Fujii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Marktübersicht.,Strömungsmechanik.,Supercomputer.
رده :
QA911
.
E339
1993
106. Supercomputing.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
107. Synchronous Programming of Reactive Systems
پدیدآورنده : by Nicolas Halbwachs.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information theory.,Operating systems (Computers),Software engineering.
108. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
109. Systems Engineering for Business Process Change :
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
110. Systems Engineering for Business Process Change:
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
111. Systems Engineering for Business Process Change:
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
112. Systems Engineering for Business Process Change :
پدیدآورنده : edited by Peter Henderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
113. Systems programming in Unix/Linux /
پدیدآورنده : K.C. Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
رده :
QA76
.
76
.
O63
W36
2018
114. TRON Project 1990 :
پدیدآورنده : edited by Ken Sakamura.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
A73
E358
1990
115. TRON Project 1989 :
پدیدآورنده : edited by Ken Sakamura.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
A73
E358
1989
116. The Linux command line :
پدیدآورنده : by William E. Shotts, Jr.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linux.,Operating systems (Computers),Scripting languages (Computer science)
رده :
QA76
.
76
.
O63
S5556
2012
117. The Linux command line
پدیدآورنده : by William E. Shotts, Jr
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Operating systems (Computers),Scripting languages (Computer science)
رده :
QA76
.
774
.
L46
S5556
2012
118. The Linux command line :
پدیدآورنده : by William Shotts.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linux.,Linux.,Operating systems (Computers),Scripting languages (Computer science),Operating systems (Computers),Scripting languages (Computer science)
رده :
QA76
.
76
.
O63
119. The Linux philosophy for SysAdmins :
پدیدآورنده : David Both.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Linux-- Philosophy.,Linux.,Computer networks-- Management.,Computer networks-- Management.,Computer programming-- software development.,COMPUTERS-- Operating Systems-- Linux.,Philosophy.
رده :
QA76
.
774
.
L46
120. The Linux programming interface
پدیدآورنده : Michael Kerrisk
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Operating systems (Computers)
رده :
QA76
.
76
.
O63
K496
2010